631437846e88f8f3f349b6eb27bfd667905ab3e0,projects/batfish/src/org/batfish/main/Batfish.java,Batfish,pathDiff,#HeaderSpace#,2304
Before Change
String ingressNode = edge.getNode1();
String outInterface = edge.getInt1();
String vrf = diffConfigurations.get(ingressNode).getInterfaces()
.get(outInterface).getVrf();
ReachEdgeQuerySynthesizer reachQuery = new ReachEdgeQuerySynthesizer(
ingressNode, vrf, edge, true, headerSpace);
ReachEdgeQuerySynthesizer noReachQuery = new ReachEdgeQuerySynthesizer(
After Change
String ingressNode = edge.getNode1();
String outInterface = edge.getInt1();
String vrf = diffConfigurations.get(ingressNode).getInterfaces()
.get(outInterface).getVrf().getName();
ReachEdgeQuerySynthesizer reachQuery = new ReachEdgeQuerySynthesizer(
ingressNode, vrf, edge, true, headerSpace);
ReachEdgeQuerySynthesizer noReachQuery = new ReachEdgeQuerySynthesizer(